Skip to content

Update global.ent Replace Readline project broken link#182

Merged
philip merged 1 commit into
php:masterfrom
mmalferov:patch-1
Feb 25, 2025
Merged

Update global.ent Replace Readline project broken link#182
philip merged 1 commit into
php:masterfrom
mmalferov:patch-1

Conversation

@mmalferov

Copy link
Copy Markdown
Member

No description provided.

@Girgias

Girgias commented Nov 19, 2024

Copy link
Copy Markdown
Member

@petk @cmb69 is this the correct/canonical URL?

@petk

petk commented Nov 19, 2024

Copy link
Copy Markdown
Member

This URL is being removed: #152

See also explanation here: php/php-src#13184

Otherwise, yes the GNU Readline library URL is the one updated in this PR.

@philip philip merged commit bd3c7d6 into php:master Feb 25, 2025
@mmalferov mmalferov deleted the patch-1 branch October 26, 2025 12:28
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants